|
In mathematics, a ''C''0-semigroup, also known as a strongly continuous one-parameter semigroup, is a generalization of the exponential function. Just as exponential functions provide solutions of scalar linear constant coefficient ordinary differential equations, strongly continuous semigroups provide solutions of linear constant coefficient ordinary differential equations in Banach spaces. Such differential equations in Banach spaces arise from e.g. delay differential equations and partial differential equations. Formally, a strongly continuous semigroup is a representation of the semigroup (R+,+) on some Banach space ''X'' that is continuous in the strong operator topology. Thus, strictly speaking, a strongly continuous semigroup is not a semigroup, but rather a continuous representation of a very particular semigroup. == Formal definition == A strongly continuous semigroup on a Banach space is a map such that # , (identity operator on ) # # , as . The first two axioms are algebraic, and state that is a representation of the semigroup (); the last is topological, and states that the map is continuous in the strong operator topology. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「C0-semigroup」の詳細全文を読む スポンサード リンク
|